﻿
body, div {
    margin: 0;
    padding: 0;
    font-family:Calibri (Body);
    font-size:11pt;
}

body {
    /* Disable scrollbars and ensure that the body fills the window */
    overflow: hidden;
    width: 100%;
    height: 100%;
}

#header {
    /* Provide scrollbars if needed and fix the header dimensions */
    overflow: auto;
    position: absolute;
    width: 100%;
    height: 40px;
    padding: 10px;
    background: #333333;
    color:#CCE1E1;
}

.match {
}

.ignore {
    color: #AAAAAA;
}

.add {
    background-color: yellow;
}

.moveto {
    background-color: cyan;
    color: navy;
}

.remove {
    background-color: red;
}

.movefrom {
    background-color: cyan;
    color: navy;
}

.change {
    background-color: lightgreen;
}

.code {
    font-family: Courier New;
    font-size: 12;
}


#main {
    /* Provide scrollbars if needed, position below header, and derive height from top/bottom */
    overflow: auto;
    position: absolute;
    width: 100%;
    top: 60px;
    bottom: 0;
    padding: 10px;
}
